//
// Created by wkm on 2023-12-03.
//

#include <systemc.h>

int sc_main(int argc, char *argv[]) {
    std::cout << "Hello, World!" << std::endl;
    return 0;
}
